<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="Lexer.html">
<link rel="next" href="Library_builtin.html">
<link rel="Up" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Analysis" rel="Chapter" href="Analysis.html">
<link title="Ast" rel="Chapter" href="Ast.html">
<link title="Ast_info" rel="Chapter" href="Ast_info.html">
<link title="Environment" rel="Chapter" href="Environment.html">
<link title="Expression" rel="Chapter" href="Expression.html">
<link title="Filename_util" rel="Chapter" href="Filename_util.html">
<link title="Interpreter" rel="Chapter" href="Interpreter.html">
<link title="Jtemplate" rel="Chapter" href="Jtemplate.html">
<link title="Lexer" rel="Chapter" href="Lexer.html">
<link title="Library" rel="Chapter" href="Library.html">
<link title="Library_builtin" rel="Chapter" href="Library_builtin.html">
<link title="Library_io" rel="Chapter" href="Library_io.html">
<link title="Library_string" rel="Chapter" href="Library_string.html">
<link title="Parser" rel="Chapter" href="Parser.html">
<link title="Parser_util" rel="Chapter" href="Parser_util.html">
<link title="RuntimeError" rel="Chapter" href="RuntimeError.html"><title>Library</title>
</head>
<body>
<div class="navbar"><a href="Lexer.html">Previous</a>
&nbsp;<a href="index.html">Up</a>
&nbsp;<a href="Library_builtin.html">Next</a>
</div>
<center><h1>Module <a href="type_Library.html">Library</a></h1></center>
<br>
<pre><span class="keyword">module</span> Library: <code class="code">sig</code> <a href="Library.html">..</a> <code class="code">end</code></pre>Registration of libraries<br>
<b>Author(s):</b> Tony BenBrahim < tony.benbrahim at gmail.com ><br>
<hr width="100%">
<pre><span class="keyword">val</span> <a name="VALregister_for_analysis"></a><a href="code_VALLibrary.register_for_analysis.html">register_for_analysis</a> : <code class="type"><a href="Environment.html#TYPEanalysis_env">Environment.analysis_env</a> -> <a href="Environment.html#TYPEanalysis_env">Environment.analysis_env</a></code></pre><div class="info">
Registers all library functions and params in an analysis environment<br>
<b>Returns</b> a modified environment with all library functions registered<br>
</div>
<div class="param_info"><code class="code">env</code> : analysis environment</div>
<pre><span class="keyword">val</span> <a name="VALregister_for_runtime"></a><a href="code_VALLibrary.register_for_runtime.html">register_for_runtime</a> : <code class="type"><a href="Environment.html#TYPEanalysis_env">Environment.analysis_env</a> -> <a href="Ast.html#TYPEruntime_env">Ast.runtime_env</a> -> unit</code></pre><div class="info">
Registers library functions into a runtime environment<br>
<b>Returns</b> unit<br>
</div>
<div class="param_info"><code class="code">env</code> : analysis environment from which definitions will be transferred</div>
<div class="param_info"><code class="code">renv</code> : runtime environment into which definitions will be transferred</div>
</body></html>